1. Na logički pogon :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : računalniki -- matematična logika -- zgodovinski pregledi -- Leibnit -- Boolejeva logika -- simbolična logika -- teorija množic -- Turnigovi stroji -- pregledno delo